English recursion theory: перевод на другие языки